COMP 520 FallScanners and Parsers (1) Scanners and parsers

Source URL: www.sable.mcgill.ca

• Software
• Computing
• Compiling tools
• Formal languages
• Finite automata
• Parser generators
• Compiler construction
• Flex
• Printf format string
• Lexical analysis
• GNU bison
• Regular expression

Delft University of Technology Software Engineering Research Group Technical Report Series A Theory of Name Resolution with Extended Coverage and Proofs

Source URL: swerl.tudelft.nl

• Software engineering
• Computing
• Computer programming
• Compiler construction
• Scope
• Name resolution
• Syntax
• Variable
• Lambda calculus
• Declaration
• Compiler
• Scheme

Published in Proc. of Conference on Compiler Construction, 2002, pp. 213–228. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs George C. Necula, Scott McPeak, S. P. Rahul, and Westley

Source URL: www.scottmcpeak.com

COMP 520 FallNative code generation (1) Native code generation

Source URL: www.sable.mcgill.ca

• Computing
• Software
• Programming language implementation
• Compiler construction
• Assembly languages
• Java bytecode
• Bytecode
• Java virtual machine
• Just-in-time compilation
• Interpreter
• Compiler
• Ahead-of-time compilation

Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization Haichuan Wang1, Peng Wu2, David Padua1 1 University of Illinois at Urbana-Champaign

Source URL: cgo.org

• Computing
• Software
• Programming language implementation
• Compiler construction
• Cross-platform software
• Array programming languages
• Functional languages
• Interpreter
• Bytecode
• Just-in-time compilation
• Compiler
• Java

Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than

Source URL: prosecco.gforge.inria.fr

• Software engineering
• Computing
• Software
• Compiler construction
• Formal methods
• Logic in computer science
• Programming language implementation
• Functional languages
• Programming language
• Semantics
• Compiler
• Low-level programming language

Analysis of Partitioned Global Address Space Programs by Amir Kamil Research Project Submitted to the Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, in partial satisfact

Source URL: titanium.cs.berkeley.edu

• Computing
• Software engineering
• Parallel computing
• Computer memory
• Concurrent computing
• Compiler construction
• Search algorithms
• Depth-first search
• Thread
• Memory barrier
• Barrier
• Graph

Parsifal: a pragmatic solution to the binary parsing problem Olivier Levillain Agence Nationale de la S´ecurit´e des Syst`emes d’Information (ANSSI) https://github.com/ANSSI-FR Abstract

Source URL: spw14.langsec.org

• Parsing
• Compiler construction
• OCaml
• Camlp4
• JSON
• Parsifal
• Portable Network Graphics
• LR parser

Finite State Machine Parsing for Internet Protocols: Faster Than You Think Robert David Graham Errata Security robert david

Source URL: www.cs.dartmouth.edu

• Compiler construction
• Parsing
• Formal languages
• Lexical analysis
• LR parser